Словарь по логике - порочный круг

логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том, что некоторое понятие определяется с помощью другого понятия, которое в свою очередь определяется через первое, или некоторый тезис доказывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Пример П. к. в определении: "Вращение есть движение вокруг собственной оси". Понятие "ось" само определяется через понятие "вращение" ("ось прямая, вокруг которой происходит вращение"). Частным случаем П.к. в определении понятий могут быть тавтологии, напр., "Демократ есть человек демократических убеждений". Примером П. к. в доказательстве могут служить многочисленные попытки математиков (до открытия Лобачевского) доказать независимость пятого постулата от других постулатов геометрии Евклида, использовавших при этом в качестве аргументов положения, эквивалентные доказываемому пятому постулату.